O-Plan: Task Formalism Manual

and Scheduling Initiative through the us Air Force Rome Laboratory through the Air Force OOce of Scientiic Research (afosr) and their European OOce of Aerospace Research a n d D e v elopment b y contract number F49620-92-C-0042 (eoard/92-0001) monitored by Northrup Fowler iii at the usaf Rome Laboratory. Additional resources for the O-Plan and O-Plan projects have b e e n p r o vided by the Artiicial Intelligence Applications Institute through the europa (Edinburgh University Research on Planning Architectures) institute development project. From 1989 to 1993, research o n s c heduling applications of the O-Plan architecture was funded by H i t a c hi Eu-rope Ltd. From 1989 to 1992, the uk Science and Engineering Research Council (grant n umber gr/f36545 { uk Information Engineering Directorate project number ied 4/1/1320) funded a collaborative project with icl, Imperial College and other partners in which the O-Plan architecture was used to guide the design and development of a planner with a exible temporal logic representation of the plan state. A number of other research and development contracts placed with aiai have led to research progress on the O-Plan prototype. O-Plan is a valuable asset of the Artiicial Intelligence Applications Institute and must not be used without the prior permission of a rights holder. Please contact aiai for more information.